The Ada Semantic Interface Specification (ASIS) is a layered, open architecture providing vendor-independent access to the Ada Library Environment. It allows for the static analysis of Ada programs and libraries.
References
ISO/IEC 15291: Information technology — Programming languages — Ada Semantic Interface Specification (ASIS)